First-class C Contexts in Cinquecento
نویسندگان
چکیده
Cinquecento is a new functional language designed for debugging and other analysis of software systems comprised of concurrently running C programs. The key innovations of Cinquecento are a first-class abstraction that can represent a C program in execution, a C-based syntactic interface to this abstraction, and language mechanisms for tailoring new instances of the abstraction to unanticipated and heterogeneous environments. Cinquecento embeds these innovations in a conventional Scheme-like functional language. We present the design of the language and demonstrate its usage in the context of program debugging.
منابع مشابه
A Probe into Adaptive Transfer across Writing Contexts: A Case of an EGAP Class
In an effort to expand the disciplinary discussions on transfer in L2 writing and because most studies have focused on transfer as reuse and not as an adequate adaptation of writing knowledge in new contexts, the present study as the first of its kind aimed to explore the issue of adaptive transfer in an English for General Academic Purposes (EGAP) writing course. The study thus focused on type...
متن کاملC-Class Functions and Remarks on Fixed Points of Weakly Compatible Mappings in G-Metric Spaces Satisfying Common Limit Range Property
In this paper, using the contexts of C-class functions and common limitrange property, common fixed point result for some operator are obtained.Our results generalize several results in the existing literature. Some examplesare given to illustrate the usability of our approach.
متن کاملIranian EFL Learners’ Autonomous Behavior in Out-of-class Contexts: A Call for Understanding Learners’ Personalized Approaches to Learning
The salient, and often ignored, role that out-of-class learning plays in second/foreign language (L2) learners’ development is overshadowed by classroom research. The main aim of this study is to problematize the role of out-of-class learning in the specific English-as-Foreign-Language (EFL) context of Iran by examination of the ways in which four learners attempted to revamp their English lang...
متن کاملNotes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessa...
متن کاملPeer-Assessment and Student-Driven Negotiation of Meaning: Two Ingredients for Creating Social Presence in Online EFL Social Contexts
With the current availability of state-of-the-art technology, particularly the Internet, people have expanded their channels of communication. This has similarly led to many people utilizing technology to learn second/foreign languages. Nevertheless, many current computer-assisted language learning (CALL) programs still appear to be lacking in interactivity and what is termed social presence, w...
متن کامل